Definitions | t T, ma-valtype(da; k), P  Q, False, A, A B, , x:A. B(x), ecl-trans-state(v; L), ecl-trans-ks(v), Knd, (x l), ecl-trans-a(v), b, prop{i:l}, A c B, event-info(ds;da), spreadn(a; x,y,z.t(x;y;z)), append(as; bs), P Q, x:A. B(x), ecl-trans-act(ds; da; A), Id,  x. t(x), fpf(A; a.B(a)), ecl-trans-tuple{i:l}(ds; da) |